- complete representability
- мат.полная представимость
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… … Wikipedia
Kripke semantics — (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non classical logic systems created in the late 1950s and early 1960s by Saul Kripke. It was first made for modal… … Wikipedia
Floating point — In computing, floating point describes a method of representing real numbers in a way that can support a wide range of values. Numbers are, in general, represented approximately to a fixed number of significant digits and scaled using an exponent … Wikipedia
Coherent duality — In mathematics, coherent duality is any of a number of generalisations of Serre duality, applying to coherent sheaves, in algebraic geometry and complex manifold theory, as well as some aspects of commutative algebra that are part of the local… … Wikipedia
Schopenhauer, Arthur — Arthur Schopenhauer Kathleen M.Higgins Despite a recent surge of philosophical interest, Arthur Schopenhauer remains one of the most underappreciated philosophers of modern times. He has arguably had a greater influence on subsequent philosophy… … History of philosophy
Emmy Noether — Amalie Emmy Noether Born 23 March 1882(1882 03 23) … Wikipedia
Matroid — In combinatorics, a branch of mathematics, a matroid ( /ˈmeɪ … Wikipedia
Poincaré–Birkhoff–Witt theorem — In the theory of Lie algebras, the Poincaré–Birkhoff–Witt theorem (Poincaré (1900), G. D. Birkhoff (1937), Witt (1937); frequently contracted to PBW theorem) is a result giving an explicit description of the universal enveloping algebra of a Lie… … Wikipedia
Marine protected area — Milford Sound, New Zealand is a Strict Marine Reserve (Category Ia) Mitre Peak, the mountain at left, rises 1,692 m (5,551 ft) above the sea.[1] Marine protected areas, like any protected area, are regions in which human activity has… … Wikipedia
Religion (Philosophies of) — Philosophies of religion Marcel, Jaspers, Levinas William Desmond Gabriel Marcel (1889–1973), Karl Jaspers (1883–1969) and Emmanuel Levinas (1906–) seem like a mere aggregate of thinkers. Jaspers, a German thinker who coined the phrase Existenz… … History of philosophy